Replica Density Functional Study of One-Dimensional Hard Core Fluids in Porous Media

A binary quenched-annealed hard core mixture is considered in one dimension in order to model fluid adsorbates in narrow channels filled with a random matrix. Two different density functional approaches are employed to calculate adsorbate bulk properties and interface structure at matrix surfaces. The first approach uses Percus' functional for the annealed component and an explicit averaging over matrix configurations; this provides numerically exact results for the bulk partition coefficient and for inhomogeneous density profiles. The second approach is based on a quenched-annealed density functional whose results we find to approximate very well those of the former over the full range of possible densities. Furthermore we give a derivation of the underlying replica density functional theory.Comment: 22 pages, 11 figures, to be published in JS

Dealing with a liquidity trap when government debt matters: optimal time-consistent monetary and fiscal policy

How does the need to preserve government debt sustainability affect the optimal monetary and fiscal policy response to a liquidity trap? To provide an answer, we employ a small stochastic New Keynesian model with a zero bound on nominal interest rates and characterize optimal time-consistent stabilization policies. We focus on two policy tools, the short-term nominal interest rate and debt-financed government spending. The optimal policy response to a liquidity trap critically depends on the prevailing debt burden. While the optimal amount of government spending is decreasing in the level of outstanding government debt, future monetary policy is becoming more accommodative, triggering a change in private sector expectations that helps to dampen the fall in output and inflation at the outset of the liquidity trap

Effect of controlled corrugation on capillary condensation of colloid-polymer mixtures

We investigate with Monte Carlo computer simulations the capillary phase behaviour of model colloid-polymer mixtures confined between a flat wall and a corrugated wall. The corrugation is modelled via a sine wave as a function of one of the in-plane coordinates leading to a depletion attraction between colloids and the corrugated wall that is curvature dependent. We find that for increased amplitude of corrugation the region of the phase diagram where capillary condensation occurs becomes larger. We derive a Kelvin equation for this system and compare its predictions to the simulation results. We find good agreement between theory and simulation indicating that the primary reason for the stronger capillary condensation is an increased contact area between the fluid and the corrugated substrate. On the other hand, the colloid adsorption curves at colloid gas-liquid coexistence show that the increased area is not solely responsible for the stronger capillary condensation. Additionally, we analyse the dimensional crossover from a quasi-2D to a quasi-1D system and find that the transition is characterised by the appearance of a metastable phase.Comment: 9 pages, 7 figure

How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi

Extending the method of Howe, we establish a large class of untyped higher-order calculi, in particular such with call-by-need evaluation, where similarity, also called applicative simulation, can be used as a proof tool for showing contextual preorder. The paper also demonstrates that Mann’s approach using an intermediate “approximation” calculus scales up well from a basic call-by-need non-deterministic lambdacalculus to more expressive lambda calculi. I.e., it is demonstrated, that after transferring the contextual preorder of a non-deterministic call-byneed lambda calculus to its corresponding approximation calculus, it is possible to apply Howe’s method to show that similarity is a precongruence. The transfer is not treated in this paper. The paper also proposes an optimization of the similarity-test by cutting off redundant computations. Our results also applies to deterministic or non-deterministic call-by-value lambda-calculi, and improves upon previous work insofar as it is proved that only closed values are required as arguments for similaritytesting instead of all closed expressions

On equivalences and standardization in a non-deterministic call-by-need lambda calculus

The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in a an extended lambda-calculus with case, constructors, seq, let, and choice, with a simple set of reduction rules. Unfortunately, a direct proof appears to be impossible. The correctness proof is by defining another calculus comprising the complex variants of copy, case-reduction and seq-reductions that use variablebinding chains. This complex calculus has well-behaved diagrams and allows a proof that of correctness of transformations, and also that the simple calculus defines an equivalent contextual order

Demixing of colloid-polymer mixtures in poor solvents

The influence of poor solvent quality on fluid demixing of a model mixture of colloids and nonadsorbing polymers is investigated using density functional theory. The colloidal particles are modelled as hard spheres and the polymer coils as effective interpenetrating spheres that have hard interactions with the colloids. The solvent is modelled as a two-component mixture of a primary solvent, regarded as a background theta-solvent for the polymer, and a cosolvent of point particles that are excluded from both colloids and polymers. Cosolvent exclusion favors overlap of polymers, mimicking the effect of a poor solvent by inducing an effective attraction between polymers. For this model, a geometry-based density functional theory is derived and applied to bulk fluid phase behavior. With increasing cosolvent concentration (worsening solvent quality), the predicted colloid-polymer binodal shifts to lower colloid concentrations, promoting demixing. For sufficiently poor solvent, a reentrant demixing transition is predicted at low colloid concentrations.Comment: 6 pages, 3 figure